Concise RLT forms of binary programs: A computational study of the quadratic knapsack problem

The reformulation‐linearization technique (RLT) is a methodology for constructing tight linear programming relaxations of mixed discrete problems. A key construct is the multiplication of “product factors” of the discrete variables with problem constraints to form polynomial restrictions, which are subsequently linearized. For special problem forms, the structure of these linearized constraints tends to suggest that certain classes may be more beneficial than others. We examine the usefulness of subsets of constraints for a family of 0–1 quadratic multidimensional knapsack programs and perform extensive computational tests on a classical special case known as the 0–1 quadratic knapsack problem. We consider RLT forms both with and without these inequalities, and their comparisons with linearizations derived from published methods. Interestingly, the computational results depend in part upon the commercial software used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

石河子气温变化趋势特点的奇异谱分析

本文采用1961—2001年石河子地区的气象资料，利用奇异谱分析的方法，分析了40a来气温变化，结果表明，石河子的气温变化具有4个明显的变化周期，分别为33—34年，11—12年，8—9年，3—4年；利用噪声驱动阻尼振子模型对得到的时间周期做了初步的分析，并利用拟合函数集对石河子气温给出了对应的函数变化关系。利用该方法可以对气温的变化特征有一个明晰的物理理解，也可以为将来的气温变化趋势的预测给出一定的借鉴作用。     

基于0-1规划的弹种决策与发射时序优化

对于身管发射武器系统,同一发射单元使用不同弹种完成作战任务时,需要确立合适的弹种决策与最佳的发射时机.提出用O-1变量来描述弹种决策变量.通过时弹种发射机制及武器系统控制特点进行分析,构造多种0-1变量用以描述武器系统作战时序之间的约束关系,建立了弹种发射时序的0-1规划模型,并用LINGO软件实现了0-1规划的求解.给出了典型应用实例,进行了仿真计算,结果表明,该方法简单可行.     

基于B/S模式的雷达装备远程故障诊断系统

探讨了基于B/S模式的雷达装备远程故障诊断系统,利用知识库、Web等技术构建了一个供雷达部队使用的雷达诊断网,对系统的体系结构和功能模块以及所涉及的关键技术进行了分析和研究,实现了雷达装备的实时监控和故障的自动诊断,提高了雷达装备的可靠性和雷达部队的应急抢修能力。     

有人/无人平台协同技术与行动模式研究

无人平台已广泛用于军用和民用市场，并在反恐、维稳、排爆，侦察等领域发挥了极其重要的作用。目前已形成了有人/无人平台共同协作完成任务的工作模式，大大地提高了工作的时效性、适应性、作战效能等。为了提高有人/无人平台的协同作战能力，本文研究有人/无人平台的协同作战技术体系以及作战模式，以解决在协同侦察、搜救、监视等应急任务中遇到的各种问题。此外，提出了一套完整的协同作战想定，可用于有效验证相关的协同技术。     

电磁轨道发射中内弹道动力响应特性分析

将轨道简化为移动载荷作用下固定在弹性支撑上的Bernoulli-Euler梁，通过静态电磁-结构耦合有限元模型求得外围封装的等效刚度，计算得到发射器的临界速度。另外，利用混合有限元/边界元法建立电磁-结构-运动多物理场耦合的动力学模型，求得枢轨动态接触压力和轨道的应力应变分布特性。通过在轨道背面布置光纤光栅应变传感器，利用测量数据验证了动力响应特性，并分析了弹丸在内弹道的稳定性。针对典型30 mm × 30 mm矩形口径发射器，分析及试验结果表明：C型电枢对轨道的电磁挤压力在平顶沿起始时刻达到最大值，之后随着时间推移逐渐减小；电枢通过引起的应力波在高速段容易与轨道中反射应力波发生共振，并且轨道在电枢运动的中间高速段区域受力最为集中，应力集中水平约是起始低速段区域的2.44倍；电枢运动高速段会出现晃动现象，进而引起上下轨道受力的不对称性。分析及试验结果对研究电磁轨道发射器内弹道动力响应特性和发射器结构设计具有重要指导意义。     

采用正交分集的灵巧噪声干扰对抗方法

针对数字射频存储干扰机多通道宽带转发模式下的灵巧噪声干扰,提出了基于混沌调制信号、多谐波相位调制线性调频信号的正交分集抗干扰方法。混沌调制信号与多谐波相位调制线性调频信号具有"图钉"形模糊函数,除了具有良好的距离、多普勒分辨力,还对回波频率敏感,通过正交分集设计,能够更好地适应宽带转发灵巧噪声干扰。通过计算机仿真对新方法的抗干扰性能进行了分析和验证,结果表明:在多通道宽带转发灵巧噪声干扰环境下,新方法的抗干扰改善因子能够达到10 d B以上,抗干扰性能明显优于传统的频率捷变、斜率捷变方法。     

基于Linux/QT的火控系统实时故障诊断方法

针对某数字化火控系统实时故障检测与诊断问题,提出了一种基于对象式框架知识表示的火控系统实时故障诊断方法。该方法采用专家系统与实时进程通信,获取故障征兆,进行实时推理定位故障源。给出了诊断系统的一般架构,介绍故障诊断系统知识表示的形式化描述,实时推理、规则匹配算法和UDP进程通信协议。实际应用证明了这种方法的有效性和可扩展性。     

一类参数激励与强迫激励并存的非线性振动系统的分叉

本文用Ｌｉａｐｕｎｏｖ—Ｓｃｈｍｉｄｔ方法研究了同时受参数激励与强迫激励作用的非线性振动系统的亚谐分叉问题,用奇异性理论确定了等价意义下的分叉方程的形式,导出了必需的分叉系数,求出并且分析了１／２—１／２亚谐共振分叉方程的普适开折,画出了各个结构稳定域及分叉集上的响应图。     

自适应两步滤波算法在机载IRSTS被动定位中的应用

在机载红外搜索跟踪系统被动定位研究中,针对扩展卡尔曼滤波算法要求先验的噪声统计及存在系统观测模型线性化误差影响滤波精度的特点,利用两步滤波算法并结合Sage-Husa噪声估计器构建了适用于机载IRSTS被动定位特点的自适应两步滤波算法模型,算法不仅实时在线地估计了观测噪声的统计特性,而且避免了观测模型线性化误差.仿真结果表明,在完全相同的初始条件下,自适应两步滤波算法对目标运动参数的估计结果明显优于扩展卡尔曼滤波,从而提高了机载IRSTS被动定位的精度.